tools-xenmon-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:06 +0000 (11:47 +0200)
committerIan Campbell <ijc@debian.org>
Tue, 9 Feb 2016 16:41:16 +0000 (16:41 +0000)
commit5708f92631a4aa03eb9c54b3e5248481a4b6110f
treeddce4be5c34d560fbd2110732c7c8126b80e1f3c
parent88690163bb3da7a01d591b3c1e6512921516412a
tools-xenmon-prefix.diff

Patch-Name: tools-xenmon-prefix.diff

Gbp-Pq: Name tools-xenmon-prefix.diff
tools/xenmon/Makefile